منابع مشابه
Interpreting Bayesian Logic Programs
Various proposals for combining first order logic with Bayesian nets exist. We introduce the formalism of Bayesian logic programs, which is basically a simplification and reformulation of Ngo and Haddawys probabilistic logic programs. However, Bayesian logic programs are sufficiently powerful to represent essentially the same knowledge in a more elegant manner. The elegance is illustrated by th...
متن کاملStochastic Relations Interpreting Modal Logic
We propose an interpretation of modal logic through stochastic relations, providing a probabilistic complement to the usual nondeterministic interpretations using Kripke models. A simple temporal logic and a logic with a countable number of diamonds illustrate the approach. The main technical result of this paper is a probabilistic analogon to the well-known Hennessy-Milner Theorem characterizi...
متن کاملInterpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework
A natural interpretation of GUHA style data mining logic in paraconsistent fuzzy logic framework is introduced. Significance of this interpretation is discussed.
متن کاملInterpreting Strands in Linear Logic y
The adoption of the Dolev-Yao model, an abstraction of security protocols that supports symbolic reasoning, is responsible for many successes in protocol analysis. In particular, it has enabled using logic e ectively to reason about protocols. One recent framework for expressing the basic assumptions of the Dolev-Yao model is given by strand spaces, certain directed graphs whose structure re ec...
متن کاملMetaphoric Concepts and Language
Nowadays it is usual to talk about metaphoric concepts. In the literature about metaphor there are, at least, two notions of metaphoric concepts. One of them is used to explain the meaning of the metaphoric use of language. The other is used to describe human cognition. Although it might be thought that the two notions of metaphoric concept that are involved in these explanations are the same, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theological Studies
سال: 2010
ISSN: 0040-5639,2169-1304
DOI: 10.1177/004056391007100206